Hybrid logic - PDFSEARCH.IO - Document Search Engine

Hybrid logic
Results: 87

#	Item
11	The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv Add to Reading List Source URL: eacsl.kahle.ch Language: English Theoretical computer science Rajeev Alur Logic in computer science Symposium on Logic in Computer Science Automata Hybrid automaton Formal languages Timed automaton
12	Food Bytes: Intelligent Systems in the Food Industry David Corney1 Dept. Computer Science, University College London, Gower Street, London, WC1E 6BT Add to Reading List Source URL: www.dcorney.com Language: English - Date: 2008-10-02 05:36:23 Artificial intelligence Fuzzy logic Logic Applied mathematics Cognitive science Neuro-fuzzy Fuzzy control system Artificial neural network Machine learning Hybrid intelligent system Fuzzy set Evolving classification function
13	¨ ner, Hybrid Logic and its Proof-Theory, Applied Logic Series Torben Brau Volume 37, Springer, 2011, pp. XIII+231. ISBN: (hardcover) EURO 99,95, ISBN: (eBook) EURO 99,99. Modern hybr Add to Reading List Source URL: akira.ruc.dk Language: English - Date: 2012-10-02 15:25:02
14	Tableau-based Decision Procedures for Hybrid Logic Add to Reading List Source URL: hylocore.ruc.dk Language: English - Date: 2013-05-29 03:25:22
15	A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-05 06:08:36 Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking
16	Contextual Validity in Hybrid Logic Patrick Blackburn and Klaus Frovin Jørgensen Department for Philosophy and Science Studies Roskilde University Abstract. Hybrid tense logic is an extension of Priorean tense logic in Add to Reading List Source URL: www.patrickblackburn.org Language: English - Date: 2015-07-16 05:24:42
17	Hybrid Logic, Patrick Blackburn INRIA Lorraine, Nancy, France Compter Science Roskilde University 13 June 2005 Add to Reading List Source URL: hylomol.ruc.dk Language: English - Date: 2005-06-21 13:23:45
18	Appears in Working Notes of AAAI Symposium on Hybrid Control Stanford; March, 1999 Hard Real-time Mode Logic Synthesis for Hybrid Control A CIRCA-based approach Robert P. Goldman, Mike Pelican, David J. Musliner Add to Reading List Source URL: musliner.com Language: English - Date: 2008-12-19 05:47:53
19	Appeared at DAC’03 A Hybrid SAT-Based Decision Procedure for Separation ∗ Logic with Uninterpreted Functions Sanjit A. Seshia Add to Reading List Source URL: uclid.eecs.berkeley.edu Language: English - Date: 2011-01-27 21:52:26
20	Indexical Hybrid Tense Logic Patrick Blackburn Section for Philosophy and Science Studies Roskilde University Klaus Frovin Jørgensen Add to Reading List Source URL: www.patrickblackburn.org Language: English - Date: 2012-08-31 04:03:07

UPDATE